#include "stdio.h"
#include "syscall.h"

int main(int argc, char** argv)
{
   printf( "hello world\n" );
   if( argc > 1 ) {
      printf( "%s\n", argv[1] );
   }
    halt();
    /* not reached */
}
